241. Theory and problems of discrete mathematics

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع : ، Algebra, Abstract Outlines, syllabi, etc,، Combinatorial analysis Outlines, syllabi, etc,، Discrete mathematics,، Logic, Symbolic and mathematical Outlines, syllabi, etc

رده :
QA
162
.
L56
2007

242. Theory of Finite and Infinite Graphs

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Combinatorics.,Logic, Symbolic and mathematical.,Mathematics.

243. Towards an arithmetical logic :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy

رده :
QA1-939

244. Tracking reason :

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Proof theory,Logic, Symbolic and mathematical

رده :
E-BOOK

245. Trends in mathematics and computational intelligence /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computational intelligence.,Computational intelligence.

رده :
Q342
.
T74
2019eb

246. Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statistics, and Neural Network Approach

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.,Mathematical optimization.,Operations research.

247. Wittgenstein's Tractatus

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus,Logic, Symbolic and mathematical,Language and languages- Philosophy

رده :
B3376
.
W563
,
T73545
2002

248. Wittgenstein's Tractatus

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus,Logic, Symbolic and mathematical,Language and languages- Philosophy

رده :
B3376
.
W563
,
T73545
2002

249. Wittgenstein's Tractatus

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus,Logic, Symbolic and mathematical,Language and languages- Philosophy

رده :
B3376
.
W563
,
T73545
2002

250. a

پدیدآورنده :

کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)

251. numeric computation-Symbolic

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computable functions ; Data processing ; Congresses. ; Numerical analysis ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;

252. 8th International Conference on Automated Deduction :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Automatic theorem proving -- Congresses.,Automatic theorem proving.,Logic, Symbolic and mathematical -- Congresses.

253. xi, 306 p. :

پدیدآورنده :

کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)